Advances on Network Protocols and Algorithms for Vehicular Ad Hoc Networks

Vehicular Ad Hoc Network (VANET) is an emerging area of wireless ad hoc networks that facilitates ubiquitous connectivity between smart vehicles through Vehicle-to-Vehicle (V2V) or Vehicle-to-Roadside (V2R) and Roadside-to- Vehicle (R2V) communications. This emerging field of technology aims to improve safety of passengers and traffic flow, reduces pollution to the environment and enables in-vehicle entertainment applications. The safety-related applications could reduce accidents by providing drivers with traffic information such as collision avoidances, traffic flow alarms and road surface conditions. Moreover, the passengers could exploit an available infrastructure in order to connect to the internet for infomobility and entertainment applications.Lloret, J.; Ghafoor, KZ.; Rawat, DB.; Xia, F. (2013). Advances on Network Protocols and Algorithms for Vehicular Ad Hoc Networks. Mobile Networks and Applications. 18(6):749-754. doi:10.1007/s11036-013-0490-7S749754186Lloret J, Canovas A, Catalá A, Garcia M (2013) Group-based protocol and mobility model for VANETs to offer internet access. J Netw Comput Appl 36(3):1027–1038. doi: 10.1016/j.jnca.2012.02.009Khokhar RH, Zia T, Ghafoor KZ, Lloret J, Shiraz M (2013) Realistic and efficient radio propagation model for V2X communications. KSII Trans Internet Inform Syst 7(8):1933–1953. doi: 10.3837/tiis.2013.08.011Ghafoor KZ (2013) Routing protocols in vehicular ad hoc networks: survey and research challenges, Netw Protocol Algorithm 5(4). doi: 10.5296/npa.v5i4.4134Ghafoor KZ, Bakar KA, Lloret J, Ke C-H, Lee KC (2013) Intelligent beaconless geographical routing for urban vehicular environments. Wirel Netw 19(3):345–362. doi: 10.1007/s11276-012-0470-zGhafoor KZ, Bakar KA, Lee K, AL-Hashimi H (2010) A novel delay- and reliability- aware inter-vehicle routing protocol. Netw Protocol Algorithms 2(2):66–88. doi: 10.5296/npa.v2i2.427Dias JAFF, Rodrigues JJPC, Isento JN, Pereira PRBA, Lloret J (2011) Performance assessment of fragmentation mechanisms for vehicular delay-tolerant networks. EURASIP J Wirel Commun Netw 2011(195):1–14. doi: 10.1186/1687-1499-2011-195Zhang D, Yang Z, Raychoudhury V, Chen Z, Lloret J (2013) An energy-efficient routing protocol using movement trend in vehicular Ad-hoc networks. Comput J 58(8):938–946. doi: 10.1093/comjnl/bxt028Ghafoor KZ, Lloret J, Bakar KA, Sadiq AS, Mussa SAB (2013) Beaconing approaches in vehicular Ad Hoc networks: a survey. Wirel Pers Commun. doi: 10.1007/s11277-013-1222-9Sadiq AS, Bakar KA, Ghafoor KZ, Lloret J (2013) An intelligent vertical handover scheme for audio and video streaming in heterogeneous vehicular networks. Mobile Netw Appl. doi: 10.1007/s11036-013-0465-8Khamayseh YM (2013) Network size estimation in VANETs. Netw Protocol Algorithm 5(3):136–152. doi: 10.5296/npa.v5i6.3838Rawat DB, Popescu DC, Yan G, Olariu S (2011) Enhancing VANET performance by joint adaptation of transmission power and contention window size. IEEE Trans Parallel Distrib Syst 22(9):1528–1535Yan G, Rawat DB, Bista BB. Provisioning vehicular ad hoc networks with quality of services. Int J Space-Based Situated Comput 2(2):104–111Rawat DB, Bista BB, Yan G, Weigle MC (2011) Securing vehicular ad-hoc networks against malicious drivers: a probabilistic approach, International Conference on Complex, Intelligent, and Software Intensive Systems Pp. 146–151. June 30, 2011Sun W, Xia F, Ma J, Fu T, Sun Y. An optimal ODAM-based broadcast algorithm for vehicular Ad-Hoc Networks. KSII Trans Internet Inform Syst 6(12): 3257–3274Vinel AV, Dudin AN, Andreev SD, Xia F (2010) Performance modeling methodology of emergency dissemination algorithms for vehicular ad-hoc networks, 6th Communication Systems, Networks & Digital Signal Processing (CSNDSP 2010), Pp. 397–400AL-Hashimi HN, Bakar KA, Ghafoor KZ (2010) Inter-domain proxy mobile IPv6 based vehicular network. Netw Protocol Algorithm 2(4):1–15. doi: 10.5296/npa.v2i4.488Ghafoor KZ, Bakar KA, Mohammed MA, Lloret J (2013) Vehicular cloud computing: trends and challenges, in the book “mobile computing over cloud: technologies, services, and applications”. IGI GlobalYan G, Rawat DB, Bista BB (2012) Towards secure vehicular clouds, Sixth International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2012), Pp. 370–375Fernández H, Rubio L, Reig J, Rodrigo-Peñarrocha VM, Valero A (2013) Path loss modeling for vehicular system performance and communication protocols evaluation. Mobile Netw Appl. doi: 10.1007/s11036-013-0463-xAllouche Y, Segal M (2013) A cluster-based beaconing approach in VANETs: near optimal topology via proximity information. Mobile Netw Appl. doi: 10.1007/s11036-013-0468-5Merah AF, Samarah S, Boukerche A, Mammeri A (2013) A sequential patterns data mining approach towards vehicular route prediction in VANETs. Mobile Netw Appl. doi: 10.1007/s11036-013-0459-6Zhang D, Huang H, Zhou J, Xia F, Chen Z (2013) Detecting hot road mobility of vehicular Ad Hoc Networks. Mobile Netw Appl. doi: 10.1007/s11036-013-0467-6El Ajaltouni H, Boukerche A, Mammeri A (2013) A multichannel QoS MAC with dynamic transmit opportunity for. Mobile Netw Appl. doi: 10.1007/s11036-013-0475-6Reñé S, Esparza O, Alins J, Mata-Díaz J, Muñoz JL (2013) VSPLIT: a cross-layer architecture for V2I TCP services over. Mobile Netw Appl. doi: 10.1007/s11036-013-0473-8Blanco B, Liberal F (2013) Amaia Aguirregoitia, application of cognitive techniques to adaptive routing for VANETs in city environments. Mobile Netw Appl. doi: 10.1007/s11036-013-0466-7Kim J, Krunz M (2013) Spectrum-aware beaconless geographical routing protocol for cognitive radio enabled vehicular networks. Mobile Netw Appl. doi: 10.1007/s11036-013-0476-5Dias JAFF, Rodrigues JJPC, Isento JNG, Niu J (2013) The impact of cooperative nodes on the performance of vehicular delay-tolerant networks. Mobile Netw Appl. doi: 10.1007/s11036-013-0464-9Sadiq AS, Bakar KA, Ghafoor KZ, Lloret J, Khokhar R (2013) An intelligent vertical handover scheme for audio and video streaming in heterogeneous vehicular networks. Mobile Netw Appl. doi: 10.1007/s11036-013-0465-8Machado S, Ozón J, González AJ, Ghafoor KZ (2013) Structured peer-to-peer real time video transmission over vehicular Ad Hoc networks. Mobile Netw Appl. doi: 10.1007/s11036-013-0461-zLin C, Wu G, Xia F, Yao L (2013) Enhance the attacking efficiency of the node compromise attack in vehicular Ad-hoc network using connected dominating set. Mobile Netw Appl. doi: 10.1007/s11036-013-0469-

Real-time force reconstruction in a transverse dynamic force microscope

This is the author accepted manuscript. The final version is available from IEEE via the DOI in this recordOne major functionality of force microscopes is their ability to measure forces at a high sensitivity, thereby, allowing understanding of vital mechanisms: for instance, in bio-specimens. The investigation of a specimen’s viscoelasticity on nano-scale can have significant scientific impact, but has been inhibited by the lack of fast, comprehensive scanning instruments. In principle, transverse dynamic force microscopes (TDFMs) permit the measurement of interaction forces within delicate samples in a non-contact manner. The force measurements are reconstructed via complicated offline analysis in TDFMs, therefore, they can hardly be utilised as an online force measuring tool. This paper introduces a novel integrated robust design for practical scanning using the TDFM system. The digital design is implemented in fixed-point arithmetic using Field Programmable Gate Array (FPGA) devices, thereby, permitting measurement of the interaction force at a high sampling rate. The novel digital design tackles different implementation issues achieving fast and robust force measuring performance. This enables a new force-scan mode for the TDFM, realising for the first time, online force mapping of sample-surfaces in real-time.Engineering and Physical Sciences Research Council (EPSRC

Enhanced light–matter interactions in dielectric nanostructures via machine-learning approach

A key concept underlying the specific functionalities of metasurfaces is the use of constituent components to shape the wavefront of the light on demand. Metasurfaces are versatile, novel platforms for manipulating the scattering, color, phase, or intensity of light. Currently, one of the typical approaches for designing a metasurface is to optimize one or two variables among a vast number of fixed parameters, such as various materials’ properties and coupling effects, as well as the geometrical parameters. Ideally, this would require multidimensional space optimization through direct numerical simulations. Recently, an alternative, popular approach allows for reducing the computational cost significantly based on a deep-learning-assisted method. We utilize a deep-learning approach for obtaining high-quality factor (high-Q) resonances with desired characteristics, such as linewidth, amplitude, and spectral position. We exploit such high-Q resonances for enhanced light–matter interaction in nonlinear optical metasurfaces and optomechanical vibrations, simultaneously. We demonstrate that optimized metasurfaces achieve up to 400-fold enhancement of the third-harmonic generation; at the same time, they also contribute to 100-fold enhancement of the amplitude of optomechanical vibrations. This approach can be further used to realize structures with unconventional scattering responses

Complex-birefringent dielectric metasurfaces for arbitrary polarization-pair transformations

Birefringent materials introduce phase retardance between different polarization states and underpin the operation of wave plates for control of classical and quantum light. However, such transformation always preserves the angle between two polarization states on the Poincaré sphere and does not allow for amplification of the polarization differences between two proximate states. Here we develop birefringent metasurfaces with judiciously tailored radiative loss for nonconservative class of complex-birefringence that combines polarization-dependent loss and phase retardance. We prove that the presence of loss enables the mapping of any nonorthogonal pair of polarizations to any other pair at the output. We establish an optimal design-framework for metasurfaces based on pairwise nanoresonators and experimentally demonstrate the amplification of small polarization differences with unconventional phase control. As an important example, we reveal that such metasurfaces can perform arbitrary transformations of biphoton quantum states and tailor their degree of polarization entanglement

The optical afterglow of the short gamma-ray burst GRB 050709

It has long been known that there are two classes of gamma-ray bursts (GRBs), mainly distinguished by their durations. The breakthrough in our understanding of long-duration GRBs (those lasting more than ~2 s), which ultimately linked them with energetic Type Ic supernovae, came from the discovery of their long-lived X-ray and optical afterglows, when precise and rapid localizations of the sources could finally be obtained. X-ray localizations have recently become available for short (duration <2 s) GRBs, which have evaded optical detection for more than 30 years. Here we report the first discovery of transient optical emission (R-band magnitude ~23) associated with a short burst; GRB 050709. The optical afterglow was localized with subarcsecond accuracy, and lies in the outskirts of a blue dwarf galaxy. The optical and X-ray afterglow properties 34 h after the GRB are reminiscent of the afterglows of long GRBs, which are attributable to synchrotron emission from ultrarelativistic ejecta. We did not, however, detect a supernova, as found in most nearby long GRB afterglows, which suggests a different origin for the short GRBs.Comment: 11 pages, 3 figures, press material at http://www.astro.ku.dk/dark

Using fahp-vikor for operation selection in the flexible job-shop scheduling problem: A case study in textile industry

Scheduling of Flexible Job Shop Systems is a combinatorial problem which has been addressed by several heuristics and meta-heuristics. Nevertheless, the operation selection rules of both methods are limited to an ordered variant wherein priority-dispatching rules are not simultaneously deemed in the reported literature. Therefore, this paper presents the application of dispatching algorithm with operation selection based on Fuzzy Analytic Hierarchy Process (FAHP) and VIKOR methods while considering setup times and transfer batches. Dispatching, FAHP, and VIKOR algorithms are first defined. Second, a multi-criteria decision-making model is designed for operation prioritization. Then, FAHP is applied to calculate the criteria weights and overcome the uncertainty of human judgments. Afterwards, VIKOR is used to select the operation with the highest priority. A case study in the textile industry is shown to validate this approach. The results evidenced, compared to the company solution, a reduction of 61.05% in average delay

UniBench: A Benchmark for Multi-Model Database Management Systems

Unlike traditional database management systems which are organized around a single data model, a multi-model database (MMDB) utilizes a single, integrated back-end to support multiple data models, such as document, graph, relational, and key-value. As more and more platforms are proposed to deal with multi-model data, it becomes crucial to establish a benchmark for evaluating the performance and usability of MMDBs. Previous benchmarks, however, are inadequate for such scenario because they lack a comprehensive consideration for multiple models of data. In this paper, we present a benchmark, called UniBench, with the goal of facilitating a holistic and rigorous evaluation of MMDBs. UniBench consists of a mixed data model, a synthetic multi-model data generator, and a set of core workloads. Specifically, the data model simulates an emerging application: Social Commerce, a Web-based application combining E-commerce and social media. The data generator provides diverse data format including JSON, XML, key-value, tabular, and graph. The workloads are comprised of a set of multi-model queries and transactions, aiming to cover essential aspects of multi-model data management. We implemented all workloads on ArangoDB and OrientDB to illustrate the feasibility of our proposed benchmarking system and show the learned lessons through the evaluation of these two multi-model databases. The source code and data of this benchmark can be downloaded at http://udbms.cs.helsinki.fi/bench/.Peer reviewe

Robust Automated Tumour Segmentation on Histological and Immunohistochemical Tissue Images

Tissue microarray (TMA) is a high throughput analysis tool to identify new diagnostic and prognostic markers in human cancers. However, standard automated method in tumour detection on both routine histochemical and immunohistochemistry (IHC) images is under developed. This paper presents a robust automated tumour cell segmentation model which can be applied to both routine histochemical tissue slides and IHC slides and deal with finer pixel-based segmentation in comparison with blob or area based segmentation by existing approaches. The presented technique greatly improves the process of TMA construction and plays an important role in automated IHC quantification in biomarker analysis where excluding stroma areas is critical. With the finest pixel-based evaluation (instead of area-based or object-based), the experimental results show that the proposed method is able to achieve 80% accuracy and 78% accuracy in two different types of pathological virtual slides, i.e., routine histochemical H&E and IHC images, respectively. The presented technique greatly reduces labor-intensive workloads for pathologists and highly speeds up the process of TMA construction and provides a possibility for fully automated IHC quantification

A Mathematical Model and a Firefly Algorithm for an Extended Flexible Job Shop Problem with Availability Constraints

Manufacturing scheduling strategies have historically ignored the availability of the machines. The more realistic the schedule, more accurate the calculations and predictions. Availability of machines will play a crucial role in the Industry 4.0 smart factories. In this paper, a mixed integer linear programming model (MILP) and a discrete firefly algorithm (DFA) are proposed for an extended multi-objective FJSP with availability constraints (FJSP-FCR). Several standard instances of FJSP have been used to evaluate the performance of the model and the algorithm. New FJSP-FCR instances are provided. Comparisons among the proposed methods and other state-of-the-art reported algorithms are also presented. Alongside the proposed MILP model, a Genetic Algorithm is implemented for the experiments with the DFA. Extensive investigations are conducted to test the performance of the proposed model and the DFA. The comparisons between DFA and other recently published algorithms shows that it is a feasible approach for the stated problem